perm filename AMSY7.360[360,GF] blob
sn#784643 filedate 1985-02-03 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T Eβ↓H∧ 5HαVe8β∃@0⊂↓∃ 0⊂↓U0_↓T`0 ↓T` (↓T@0(↓∀@0(↓∀@0 ↓T@ (↓T@ (↓T 0(↓SAdpπ∪!uλ↓A 5λ↓↓@5λ↓↓@E↓↓`DX↓@0@↓R``Hα∩@`P↓R`@`↓⊃(D⊂ Ec⊃@∧↓ip`'β)` αA)P(β↓ p_β@ip_β@ip_β@Ip_β@Ip⊂β@Ip⊂αA `_↓α `p'α⊂0'↓ ` &@a _&@a _&@A0⊂&@A0⊂&a ⊂&A0⊂&A⊂_%@A(%CI h%αhT !DBaHα`U_∧T!5α@`Dxα↓@$p↓B$h↓S $`↓∪$X↓∩`$P↓R@4P↓R@4P↓R@4P↓C $Pαα`$Pαα`$Xαα4XαA T`εS!$pβQ(D
F#⊃@∧α ph'βi` β↓)P(∧↓ p_∧↓ p_∧@ip_∧A p_∧A p⊂¬@Ip⊂¬@I`_¬i`_¬i`⊂¬@I`⊂¬@IP_¬IP_∧@iP⊂∧@iP⊂∧i@_β@i@⊂β↓ @⊂α↓)0⊂↓AI0H%α 0"QλQ⊂F#Hβ∀!%¬T0 αS` 8α∪` @↓∪@0@↓∪@4pα∪@TxβS`dpβS T`↓R`4X↓∩@4P↓R@4P↓R@@@↓∩@P(↓RaD`¬∪ t("⊃Bq`F↓0`(∧ a⊂&B &@`p⊂&A⊂+JP⊂*@J@_*Ip`'Bi``)@J _)j ⊂)J⊂_(@J_%@@ _%AI 0%AλT #E#∩β U(∧U↓5_α`U⊂↓A`5⊂↓α%λ↓α %λ↓∀%↓∪`$x↓β$p↓B`4p↓B`4p↓B@Dp↓B@Dp↓B Tpα↓`TpαA@λ↓∪a0λ↓Sa ⊂↓∀ ` ↓⊗@5P↓⊗ 5H↓∩` X↓∩` P↓R@@@↓R@` α∩aD`¬∪@d("∩αQHF@⊂ε@I`_¬@IP(¬I`(∧ip ∧J β@J βj⊂_βJ⊂_βJ⊂_α@j⊂_α@J⊂_α@J⊂_αi`⊂@@P_'↓ P⊂&C)``(αJ⊂α@ip⊂βip⊂βi`⊂β@iP_β@i0 ∧↓ 0_∧@i _¬@HT $DbqH↓` 8↓T!5ε∀!∃ ↓U5 ↓U5 ↓U% ↓∀`5_↓T`%_↓∀@5⊂↓T@%⊂↓∀ %λ↓∀4h∧RaDX¬R@08↓⊃(DP
F#⊃@¬@@`⊂*B*@P*B_,k_,k_,K⊂+@jp_+@Jp⊂+j`⊂+JP⊂%@@p_%@@p⊂%↓P⊂%↓ %B)@8&AλT %FCaH↓@ `β∀ PβS`0@∧S`08αS`00α∪`0(↓S`0(↓∪`0 ↓∪`0_↓S`0⊂↓S`0λ↓S`0λ↓∪` λ↓∪`TpβSA∧p↓@ Tp↓`Th↓ATh↓A dh↓↓`dh↓αd`↓α`dX↓CdX↓β@DP↓D$("∪αaP
ε↓P(*B*@P*`0()@@`_)@@p⊂)``⊂)@p⊂)@`⊂(@``⊂(@j⊂_(@J⊂⊂(j_(J⊂'@ip_'@I`_ε@IP0¬I0`↓A)1_%↓0`*A(T &GD1H↓`%λ↓C`%αβ@5αC 5βα`EλαB`Eλβα Uλβα UλβA` λ↓∀ p8↓ %λ↓@ @(↓ 5λ↓@ @(↓ 5λ↓@@0 ↓@ 5λ↓@@@_↓@5λ↓@@@_↓@5λ↓↓@λ↓`5λ↓↓@λ↓`5↓A P ↓T0(αA5↓↓@@(↓T 0α↓ 4x↓α 0α∩` ⊂↓∧TXαD@dPβ∧`DXα¬ 4("∪C2F↓⊂⊂πJ0⊂ε@J _ε@J _εJ ¬@J ¬J ¬J ∧@j ∧@J (∧J (β@j (β@J 0βJ 0α@j⊂_@`P_(@`⊂ αJ⊂_A@⊂(@@0 ↓j⊂⊂↓A ⊂_(`@ @j⊂β↓j⊂β↓i0⊂↓A0%AA⊂(%↓A0_%A↓P⊂"Q q8∞ε#`αU↓∃⊂¬∀ P⊂β∀@_∧∀ (∧S` (↓↓Dp↓C4p↓β Dh↓β@Dh↓β`4`↓∧4`↓∧$X↓D$X↓C`4X↓∧4X↓∧$Pαβ`$Pαβ@$X↓C 4Xαα`4XαB 4`αA ThεSA4xβQ(E
F#⊃@∧αJh(βIp(β↓*⊂_βA
⊂_∧j⊂_∧j⊂_∧j⊂_∧j⊂⊂∧@J⊂⊂∧j_β@j_αA
⊂↓↓jP'B)p('@Ip⊂'I`⊂&@IP⊂%@i0_%hT (FβQ`β e(∧Ta%⊂α@@eλα↓u↓A!∀x↓B`Dx↓β Dp↓β@Dp↓β`4h↓∧4h↓∧4`↓D$`↓D$`↓C`4`↓C`$`αβ 4`αβ4hαBTh∧!∧pπT↓E_∧∀`dx∧∩ap α∩bdPVd("∀C↓`F↓P(βJx'A@P()A )A (@a⊂_(@a⊂_(@a⊂⊂(@a⊂⊂(@A⊂⊂(@@p (`P((`⊂@(αJ@'Aip@'@@ ('@@0('@P('@`(α@IP⊂∧↓ 0_%A↓⊂H%@a0@%aP("Q
1λε#Hβ∀!∃¬S`@ α∪` 8↓S@08↓S@ @↓∪@08↓∪ Dp↓S@DpαS`eβT u_β∃ E0↓U@4X↓α 4X↓α $Pα↓`4PαADX¬S↓∀hβ⊃(E
πC⊃@βA↓P⊂&C`0 %F 00↓βi _¬@⊂(+@J`_+J`⊂*@jP⊂*@J@_*J@⊂)@j0_)@j0_)@j0_)@j0 )A*@_*hT *DbqH@DXβα@$Xβα@$P↓@0H↓S@0H↓∪@0H↓∪@0@↓S@ H↓S@ H↓∪ P↓∪ H↓S0H↓S P↓∪ P↓∩`0H↓R` P↓R` P↓∩@0P↓∩@0H↓R@0H↓R@0@α∩@@0α@@$Pα@`p⊂↓∩a λβ∩a⊂⊂β∪ P(α⊃(E0Fc⊃@↓A)0@¬@I0H¬I _↓A!_(A↓ )a )↓↓_)↓↓_)@a_)@a⊂)@a⊂)A`_)A`⊂*``⊂*`P_*`P⊂*`@_*`@⊂*`0⊂*` _*`⊂_*↓J@(*↓
@_*HT +G$⊃H`TX∧α 0↓∩aH↓↓@4P↓@`@8↓A Eα↓`00↓T 08↓A@5λ↓A`00↓T 00α↓@5λ↓A@@0↓T 00α↓@%λ↓A P0↓∀ 0(αA 5λ↓A P(↓∀ 0 ↓ 0(↓∀ 0_↓@ 0 ↓T 0_↓@0 ↓∀ 0⊂↓`0 ↓∀ 0λ↓@`0_↓∀ ⊂↓↓0⊂↓T λ↓↓ 0λ↓T`(↓ 5αA@Uα↓@U↓A`E↓α4x↓α $("⊗β⊃pF` ¬↓)p0βAIp8αAi`⊂↓↓@ )@`0_)A⊂_)Aj@(*↓
@_*j@_*J0_)@j0_)@j )↓
⊂((↓ip_A)`_↓A@0⊂%A PH%Ap@%↓↓ ("Q⊃@
λβ(α∪@``↓∪@``↓∪ ⊂↓B`5λ↓B`5λ↓B`%λ↓B@5λ↓B@5λ↓B@5λ↓B 5λ↓B 5λ↓α@5λ↓α E↓B 5↓BE↓α E↓A`Txα↓@U↓A 0λ↓∀P⊂↓@ 5∧@@5λβ@`%_α↓%P↓⊗@%H↓⊗4X↓α@4X↓B4Pβ↓ 4Xε∪↓$pβQ(EP
πC⊃@@j⊂`A*↓_(∧Ip⊂¬↓K`⊂.@K@_-@k _,@k_+@j`_*@j@_)@j _(@ip '↓ P@∧@IA_%E 0 ααi ⊂"Q↓@∞!⊂∩C∧("↓C!hF↓@⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+I!P%εJ`⊂+J`⊂+J`⊂+J`⊂+J`⊂+I!P%εHT ∧εCQH
B!¬λε∪`P⊂↓@Tpα↓ α∪ 00↓↓@4`↓A` 8↓S @↓α$X↓B @↓R` H↓α $P↓B H↓R@ P↓α@$P↓α@ P↓∩C$P
∩@ P↓α@$P↓α@ P↓∩@0H↓α 4X↓α H↓∩`0@↓α4`↓α @↓∪08↓↓`4h↓A@ 0↓S@@ ↓↓Dxα@@ ⊂αT!E_∧⊃(@P
π#⊃(∧B
⊂`'A `('↓↓ &@a`_&↓!@(&@⊂_¬`⊂⊂%@` _∧` _%@@@_β`@⊂%`P_α`P_%@p_↓`p⊂%A0∧I ⊂∧A↓⊂⊂%A⊂ ∧@I ⊂∧↓A⊂%@p_↓`p⊂%`P_α`P_%@@@_β`@⊂%@` _∧` _&@⊂_¬`⊂⊂&↓!@(&@a`_'↓↓ 'A `((C
0@"Q10Eα@↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓D4X↓C@4`↓C4hαA@Tpπ∀!∧("↔αaH
¬p@'βIP(β↓)@_εi0_πi _λi ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ HT /¬C⊃
α@%_α∀`E⊂β∀@ ⊂↓∀ 0⊂↓T ↓∀0 ↓T 0↓∪`00↓S` @↓∪@0@↓S@ P↓∪ 0P↓S `↓∪0`↓S p↓∩`0p↓R`!↓∩@1↓R@!⊂↓⊃(Exε"A B ⊂%b_%@B⊂%@a`_&A`⊂&a@_&@A@⊂&@a _'A ⊂'a_'@A⊂'@``_(@`⊂(`@_(@@@⊂(@` _)@ ⊂)↓J0 )A
@⊂"Q∧0p πc0↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀$P↓↓ ↓∩@@⊂↓@DXα λα∪!∧pβ∪`E↓∀$("λAa⊂∂F`⊂(Ip '↓IP@%A⊂⊂A ↓@ %@@⊂αJ⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(HT ⊂λd`Xπ↓@$x↓S`$p↓SDP⊃RD4`α∪@4x↓∪`5↓⊃(Bλ⊃IA0p
@LP_3L`_3A "_%λlp 3l`⊂2@lP⊂"Q∧B_∪αa`0↓∧`$x↓D`4x↓¬ $p↓E 4`α¬`DP⊃RD4`α¬`Dp↓E 4x↓¬ $x↓D`5↓∧`$("εC↓`E↓↓(∧Ip &A P_&i0_%@I _%I ⊂%I ⊂%I ⊂%i0⊂%@i@_&@iP 'A
↓⊂)∧λT
FβA8
α∧P ⊗ EXα↔5h↓W@5x↓↔`6↓_&↓_&↓_%x↓W`%p↓W 5`↓V`EHα∩B$Pλ⊃(C⊂ε"q ∧C*↓'A)`_&@i@_%@i0⊂%i ⊂%I!0%¬I ⊂%I _%@I0_&iP_'ip((∧
0h"QαA@∞πc↓0↓↔@E`αV@U@αU@U αT@UαS@T`αR@TPα∩`ThαS`UλαT`U(αU`UHαV`UhαW`48αRC∧P⊃(A(πβq@I %A)P('A*⊂()A*P(+A+⊂(-A+P(/↓@(-↓+(+↓*@()↓*('↓)@(%↓) _#A)!@%ελT λFCQλλ@β$P
⊃`TP
∩C$8αRC$P
⊃(C@¬c↓@B ⊂%B ⊂%b_%@B⊂%@a`_&A`⊂&a@_&@A@⊂&D Q'A ⊂'a_'@A⊂'@``_(@`⊂(`@_(@@@⊂(@@@⊂(@` _)@ ⊂)↓J0 )A
@⊂*HT ≤D"A@α∀PλV %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ $Xλ∩b¬H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ $PλRB∀("∞BaH∧C↓0%¬K`⊂/K`⊂/K`⊂/K`⊂/HT 7βb∩_
$P↓∩@4X↓∩`4`↓∪$`↓S $h↓∪ 4p↓∪@4x↓∪`$x↓T%↓∀5λ↓∀ 5⊂↓∀@%⊂↓T`%_↓U% ↓∃5(↓∃ %(↓U@%0↓U`%8↓⊃(@λαα0P@I %↓ 0⊂"QQ⊂
∧"⊂@↓∀ Eβ∪`0⊂↓S@0 ↓S 00↓S0@↓R`0P↓R@0`↓R@0`↓R`0P↓S0@↓S 00↓S@0 ↓S`0⊂↓Teλα∀@$("→AQλ⊃FA _)↓*⊂ (ip_'@ip_'@ip_'@ip_'@ip_'@ip_'i@ %↓) (&↓ `_'@ip_'@ip_'@ip_'@ip_'@ip_'@j_(A
(*hT 3C"∩_
4PαSDp↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`5↓T E⊂αT@Uλα∀4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S@4`α∩@TP↓Q(FP↓↓d1PI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Qε∩_∪βap(βCdh¬B↓$`α@@`0α↓DX↓B@ ↓B4X↓α@0_↓B@$P↓B@@λ↓B`4P↓β`h↓∩@ hαβ@$P↓β@@h↓∩@ hββ$P↓B`0λαα@4X↓α@0_↓B@$X↓B0 αα4`α↓@0β@Th¬α↓4xββt("≤aq⊂∂F↓ )AJ _@j ⊂↓j⊂_(@j⊂_(@j⊂_(@j⊂⊂(j_(j_(j_(j_(j_(Ip_'@ip_'@ip_'@i _↓I _@i 0%AλT ↓¬β!_ !↓∩@0p↓R`0`↓S0P↓S 0@↓S@00↓S`0 ↓T0⊂↓T e⊂α∀@Eλβ∀0⊂↓S`0 ↓S@00↓S 0@↓S0P↓R`0`↓R@0p↓R@!↓⊃(@_εD!aβJ⊂(*λ%@@λαI ↓ &`⊂λ@i`('↓)@_@ ⊂_%↓ λ↓↓ ⊂α @⊂(*⊂(HT αεCQ0
α`E β∃e β∃e(α⊃`DP
∩C$8↓U E β∃e β∃e(α⊃(@8
π#⊃⊂εI!P+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%εI!P+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂"Q↓⊃P∞F"PH∧∀!DxαA@Tpαα@Dh↓C@4`↓D4`↓∧@$X↓D@4X↓¬$P↓E4P↓¬@$P↓¬@$P
∩C$P↓¬@$P↓¬@$P↓E4X↓¬$X↓D@4`↓∧@$`↓D4h↓C@4pαα@DxαA@Uλε∀a∧("αc!hE!⊂@(C p(β↓)` ¬↓ P_πi@_π↓)@⊂π`⊂⊂%@aP_↓i0⊂ε@`@⊂%a@_α@i ⊂ε`p⊂%A0_∧I ⊂¬a⊂⊂%A⊂_¬I ⊂∧a0⊂%@p_εI _α@a@_%@@@_ε@I0_↓aP_&@⊂_πI@(πiP_πi` ¬↓ p(β↓*⊂`)BλT εεCQH
B!¬λε∪`P0αS@@Pα∪ 0p↓S1↓S!⊂↓∩`1⊂↓R`! ↓∩@0H↓B4P↓α P@↓∩@ @βA`$P↓αp8↓∩@ @βA`$P↓α P@↓∩@ P↓B $P↓E4X↓¬$X↓D@4`↓∧@$`↓D4h↓C@4pαα@DxαA@Uλε∀a∧("β$20∂F↓PH*βj 0βAJ(εA)p λA `_
@iP_@iP⊂@I@_@i0_
@i0⊂∞@I0⊂∞@I _∞@i ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I _∞@i0⊂∞@I0⊂∞@I0_
@i@_@iP⊂@IP_@i`_
@ip λA
(εA* 0βAJ@x+B(T πβb hπAth∧S0(↓R`08↓R@0H↓R@ X↓∩@ X↓∩@ X↓∩@ X↓∩@0H↓R`08↓S0(↓S!∀pβQ(@xπDAPxα↓iPH&αi0h%βi x%βi x%βi x%C)@X&B)`8"Qα↓P∞D"⊂↓¬@$P↓E4Xα∧D`αCTpβ↓@eπ∀a∧8↓Ta¬π∪@`0β∪P`αR`Aα∩@1 ↓R@!0↓⊃(A⊂πβq@∧∧
↓⊂'A P &@i@_%@i0⊂%i ⊂%I ⊂%I ⊂%I _%@I0_&iP_&A p (∧J!#A)!@%ελT FβAxα∧P ⊗ EXα↔5h↓W@5x↓↔`6↓_&↓_&↓_%x↓W`%p↓W 5`↓V`EHα∩B$Pλ⊃`TP∩C∧("¬C↓`∂Fα`⊂0L⊂/@k`_.@k@_-↓(+↓*⊂@%β) h(B
`(,↓+ .kP_/kp_0L⊂0Hp(%ε !@"Qαq@∞πc↓∩@$P↓∩@4X↓S4h↓S@DxαT U_∧∃!U(εTa¬λαS`Tpα∪ 4`↓R`4P↓R@$P↓∩@$8αRC∧P⊃(A@
π!`α↓!p⊂&Aa`⊂&`0 εI0_αA!⊂_%@A ∧I _¬↓P_%A@ ↓@i ⊂π↓i ⊂πA(T FCQλλAPx↓∪ pp↓∪0_αβ$X↓A @P↓R` @αα$P↓B P(↓R@ `α`4P↓β@tP↓β`TpαC`$hβC@$`↓@`@`↓∩`0(αB 4X↓α@@↓∩@0Pα↓ 4P↓β@_↓R@ pβR@ xαQ(A`⊃IC⊃(
@A ⊂.A↓ -A p(,A p(,↓↓ +↓↓ *↓ p()↓ p((A↓ 'A↓ &A p(%A p(%↓↓ %↓↓ %A p(&A p('A↓ (A↓ )↓ p(*↓ p(+↓↓ ,↓↓ ,A p(-A p(.A↓ /@A ⊂"QβR_∪ε"P↓α@$PααDXαA`ThαA`TxααEλααE⊂αA`U αA`U0ααE@ααEHαA`UXαA`UhααEhααEXαA`UHαA`U@ααE0ααE αA`U⊂αA`UλααDxααDhαA`TXαA`TPααDP↓α@$("πC↓`Eα`⊂0L⊂/@k`_.@k@_-↓(+↓*⊂@%β) h(B
`(,↓+ .kP_/kp_0L⊂0HT ∂FβA8
$P↓∩@$P↓R`4`↓S 4pα∪`UλαTa¬(εU!U_∧∀ TxαS@Dh↓S4X↓R@4P↓∩@$P↓⊃(B(⊃ICq@@`@_1BLP@4↓p(2A⊂⊂2↓ ⊂1@`@⊂1`P⊂0@``⊂0kp_/kP_.k ,A_+@j`_*@j@_)@j _(@ip '↓ P_&i0_%i ⊂"Q∧b_∪πc↓∩@4X↓S4h↓S@Dxα∀ 5⊂↓T`5 ↓U 50↓U`5@↓V EPα↔5h↓W@5x↓X6λ↓A@&⊂↓A &_↓A& α@&(α &8αZF(∧_a&_↓A4(" c!hλ∧@(π@IP8πI@_↓A↓@⊂%@`P ¬i0⊂∧↓↓⊂%a⊂(α@i ⊂ε↓0_%A`8%Ap(#A)!P%εHT ∀λda( C %8↓∃@50↓U 5 ↓TC5λ∞∪`T`β∩@tPβSdxαT#E⊂
U5(↓U@50↓U`%8↓⊃(BH⊃IBQ_
K`⊂/k`_/@l_%εi!`1A,P03↓l`82AL0(%π !X0kp_/k`_/K`⊂"Q¬!0πcP↓∃%_α∀`E⊂β∀@eλ↓@@5λ↓@@5↓A4x↓A@4pα↓@DhαA@TP∧↓A∧Pα@ 0↓@E↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@%↓↓@$("
ba@∂F`⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βI ↓@`⊂↓↓ @βα P(β↓)` β↓ p_βj_αj⊂_↓j⊂_↓j 0)↓J0 )A
@⊂*HT ⊗λda( B@ X↓∃ X↓∀`0X↓T` h↓∀@0h↓T@0h↓T"TxS@A_α∪Q(αR@a8β∩@a8β∪Q(αS@A_α∪c∃λ
T@0h↓T@0h↓T` h↓∀`0X↓U X↓∃ X↓⊃(Bh⊃ICq@`@_%αI @%A 0(%@@⊂ %@@ %@@@_%@@P_%@@`_*jP_+jp_,k⊂ -↓@_.@k`_/@l_0@l _1@l@ 2Ap_4m⊂_5m0⊂"Q¬b_∪πcαλ↓~@6H↓Z68↓Y F α_`6⊂↓X 6↓W`5p↓W 5`↓V@EHα⊗58↓U@5(↓U4X↓↓@4X↓↓ 4X↓↓4X↓@DX↓ DXαR`DP∧∩A$P↓A4("c⊃`πC`P0¬↓ PHβAI@ ↓↓ P %@`` ↓@i0⊂∧↓⊂_%a⊂0%A0(%A0 %A@ %A0(%a 0%@A⊂_A 0_β@`0 &`@ αA)PHβAI`0¬↓(T _α!1⊂ A 4pαS@Thβ∪ dhαS T`αST`αSDXαR`DXα∩`DPα∩@DP↓R@4("baHEh%∧
`(,@k _-@k@_.@KP_/K`⊂%¬I!0/K`⊂.@kP⊂.k0_-k⊂_+↓)!%β(T ~πD⊃@β@%8α∃`E0β∃@ ⊂↓∃ 0⊂↓U0 ↓U 0↓∀`00↓T` @↓∀@0@↓T 0P↓T `↓∀0`↓S`0p↓S`!↓∪@1↓S@!⊂↓∪ 1⊂↓S1 ↓S!0↓∩`10↓R`!@↓∩CdP∂⊃(C(∂λ#↓λπI!p%@C⊂%@b`_&B`⊂&b@_&@b _'B ⊂'b_'@B⊂'@a`_(a@_(@A@⊂(@a _)a_)@A⊂)@``_*@`⊂*`@_*@` _+@ ⊂+↓Jp +A⊂"Qεa
πc↓⊂↓⊗`5X↓⊗@5P↓⊗ 5@↓V%8↓U`%0↓U 5(↓∃5 ↓∀`5⊂↓T@%λ↓T %↓S`4x↓∪@4p↓∪ 4`↓S$X↓R`$P↓R@$("
`00εC`⊂%I ⊂%I ⊂%I _%i ⊂%I ⊂%I ⊂%HT ≥D"1`
β%0↓∀↓∧p∧S 0(↓S0(αR`00↓ 4X↓A@ λ↓R` 0↓@@$P↓A@ _↓R@00↓`4P↓A 0_↓R@0(↓↓4P↓A ↓R@0 ↓A4P↓A (↓R@0 ↓↓ 4P↓@`0(↓R@0_↓↓@4P↓@` 0↓R` ⊂↓A@$X↓@ 0↓R`0λ↓↓@4`αA 4h↓A 4p∧S!∧h↓∪ $("∂β⊃`ε0 ∧↓)0@αα _α` A ⊂β↓@0(%@`(αA) _β`p %@`P β↓)@_α↓p(&@`0 ∧↓ `⊂↓A↓ '@0 βA `⊂↓CI`⊂↓C ⊂↓@0 ↓↓ ⊂↓ @ ↓↓ (α↓ %@`P ↓↓
0 ↓↓*0 ↓A
0_α↓ _β`@ %`P_αA0⊂%@`0 αB)@@βAiP(¬↓λT ≡F#A@↓ thε∪@(αR`0Hα∩@0Xα↓ $P↓βP_↓R@ h∧R@ pβR@4X↓C d`ααA∧hβA @_↓S`P α↓ %@α↓ %@α⊗UHαR@`PαR@pPαS PPα∪@`@α∪``0αT P_β∀AE_∧Q(Cp
π#↓@εI!P+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+HT ∨FCQ@β%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$P
∩C$("⊂α10ε⊂¬I _∧@i _∧@i ∧↓ ∧↓)0 ∧↓)0(∧↓)@(βA)P(β↓)P0αA)@@αI@_A 0⊂&@0(@i0_α↓i0_αAI0_β↓)0_βA)0 βA)0 ∧↓)@ ∧↓ @ ∧A P ∧↓ P ∧@i 8∧@i 0¬@HT .EC⊃
!⊂↓∩@!⊂↓∩@!⊂↓∩@ @↓α$P↓α @↓∩@ @↓α$P↓α @↓∩@ @↓α$P↓α @↓∩@ ⊂π@$P↓A`⊂↓∩@ @↓α$P↓α @↓∩@ @↓α$P↓α @↓∩@08↓↓`4X↓A@ 0↓S0`↓S P0αSAeλ∧⊃(F EC↓@I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I!_%∧i ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%HT 0Dba@∧ %X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`$P RB5X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`$("_A⊃⊃F@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I H%α(T 1B!B_
↓`%λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∩A∀P∧Q(F ∧D∧1Pα) H%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"QPHελc ∧RA∃λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ $("~↓⊂p⊃F@p⊂(@J_(Ip_'@Ip⊂'i`⊂&@iP⊂&i@⊂&I0_%@I _%I ⊂%i0⊂%@i@⊂&I@_&@IP_'I`_'@Ip⊂'@j⊂(j⊂⊂(@HT 4B!B_
$P↓∩@4X↓∩`4`↓∪$`↓S $h↓S@$p↓S`$x↓∪`5↓∀5λ↓∀ %↓T$x↓S`$x↓∪@4p↓∪ 4h↓∪4`↓∪$X↓R`$P↓R@$P↓⊃(FX¬D∧1P@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂%@p⊂"Q
@p λc 0↓∀$xα∪@dh∧∩`@λ↓ DPα@ ⊂α∩@ ↓↓%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀$P↓↓ ↓∩@@⊂↓@DXα λα∪!∧pβ∪`E↓∀$("≠"a@⊃FA ⊂*J0 )A
0)↓J⊂_↓j⊂_↓j_αip_βi` β↓ P(β↓) @βα ↓@`⊂↓↓
⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βJ⊂βI ↓@`⊂↓↓ @βα P(β↓)` β↓ p_βj_αj⊂_↓j⊂_↓j 0)↓J0 )A
@⊂*HT 7AA⊃8
$Pα∪4h↓∪@$p↓∪@$p↓∪@$h↓∪ $`↓∪$X↓∩`$P↓∩@$P↓∩@$P↓∩`$X↓SDp↓⊃(G⊂λd0λ∂Lp_3l`⊂2@lP⊂2l@⊂1@l0⊂1l ⊂0@l_0Kp_/@I@_π@i0 π@I 0ε@i ⊂@aP⊂&A↓0_'a0⊂'↓↓⊂_'Ap_(`p⊂(↓P_(@`P⊂(A0_)`0⊂)↓⊂_)@`⊂⊂)AJ@ *↓
P⊂"Q∞⊃@
Ebp∧AA∀P∧AA∀hαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@Dhαα@DP∩C∧("≤CAxε↓`%π 1P%A" _&↓α ⊂&↓"_&Aα⊂&A!`_'↓!@_'A↓@⊂'A! _(↓↓ ⊂(↓!_(A↓⊂(A `_)↓`⊂)↓ @_)A _*↓ ⊂*α
P0*AJ` +↓
p⊂"Q∞A0Eα@↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P↓∧@$P∩Bd("≥"aH
¬↓0%¬I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ I ⊂ HT ;εβAxβ∧P∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩C∧P⊃`TP∩C∧("≥c↓`∂F↓@%ε⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0I!@%ελp(%ε !@"Q∂XπGc_αS↓∧X↓@`4P↓A 4P↓A 4P↓A 4P↓R@4P↓R`4`αStX↓@`4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4X↓@`4`βS@Uλ↓T@5⊂↓T@4P↓A 4P↓A 4P↓A 4X↓@`4X∧∪ T("≡!Q∂FP_'@ip_'@ip_'@ip_'@i h%β) h'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@hT =β"↓x↓ 4x↓S`4x↓S`4x↓S`4PεRATPεS`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓RATPεRATx↓S`4x↓S`4x↓S`4x↓Q(GX
¬cq@ββIa&B ⊂&α@ ⊂%B` ⊂%β ⊂%β ⊂%β ⊂%β ⊂%β ⊂%β ⊂%β ⊂%B` ⊂&α@ ⊂&B ⊂'α ⊂(↓@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂*@ ⊂"Q∂AP∞GβPβ∀a¬⊂¬∀!Eπ∀↓eπ∀↓eπ∀↓eλε∪ @λ¬ D`β!λβ∩c∧X∩C$P
∩C$P
∩C$P
∩a λ↓!$`∧@ λ∧S!λ↓!∧pα@` _αU E(α∃ E(α⊃(Gh
π#1@εJP *A
@0)@` _)`@_)@`⊂(@``_(a_'@a _'a@_&↓↓` %Aα %b@_%b@_%Aα &↓↓` 'a@_'@a _(a_(@``_)@`⊂)`@_)@` _*↓JP *A
`⊂"Q∂aP∞Fβ β↓@dh∧↓↓∧`↓A↓ ↓R`00β↓@4P↓B@@↓R@ P↓α@$P↓α@ P↓∩@!0↓∩@!0↓∩@1 ↓R`! ↓∩`1⊂↓S1↓S !↓∪ 0p↓S@0`↓S`0P↓T0@↓T 00↓T@0 ↓T`0⊂↓Ue(α∃@%0↓⊃(Gx
π#A@εJ`⊂*A
@0*↓J0@)αJ⊂`'D a⊂&E Q &¬I1@%F !P%εI!P%εI!P%εI1@%B@⊂⊂BI@@↓@ @&A@0⊂↓AJP *A
P *Aλ←@¬_8≤hπm4λ↓∨3@↓∨3@λα0␈␈␈⎇p↓P{⊂#@ε,Y0∧?0!εXα∧%↑d_
↓>λ∂{⎇HA8αX}`∀⊂{⊃"`¬
∀04←0#¬ H>}{≡d8∞↓Mx?⊂↔⎇I↓HαukX*{∩"P∧iS a?0%¬@⎇|↓R↑dX∂↓[0m@_G⎇IApβ6mX?@{∪$pλqc@↓ ?0'π@h[6`α9≡dx
@↓HP∀@(0⎇J↓0α@\0{∀$ πo←@↓B␈0)λp];β∨≡e_↓!@10p⎇JA@α`[rp{∃#0ε"y⊂↓n?0+ε``Er βy↑e8⊃↓y8⎇@%⎇K↓pβ6mX↓∂{⊗#@ε9%`α(←0-π@h[6`∧q↑`⊂↓kPvP∧⎇@bβW.`↓! {α∧π.]@αI␈0¬λp];¬6↑eX∞↓K⊂e@X8⎇KA`β⊗,X↓<@{↔C@ε,Y0ββ␈0/G`Y2`ε≤↑b_
@↓~0M`b⎇D!(α4iP↓Q@{λ¬⊂ 2ePβ-?0⊂J ↓⊂eK εb↑b ∀@α,X⊗@hT⎇C"βW.`↓]`{εdπ.]@βB?0→π`Y2`π∩↑a ⊂↓kPvp@⎇BRβW.`↓kp{∧$π.]@β←?0≤¬`PU*`πD↑cH@↓*PU@x7⎇G!`β⊗,X↓z@{≠B@∧I∩ βx?0C(K⊗ λ∧↑`(
@↓~0M↓⊂⎇La(α4iPαε {→bP∧iS ∧⊗?05β(K⊗ λ@↑cλ∀@α,X⊗@↓λ(⎇N1(α4iPα≤{Dπ.]@∧A␈0↓E HS&@ ↔↑` ⊂↓kPv↓⊂M⎇@rβW.`α,⊂{α$π.]@∧←←0¬Hp]; X≡``⊂↓kPv↓_q⎇ARH∧Y2hαE@{βBP∧iS ¬~␈0πE HS&@
C↑a⊂↓kPv↓(_⎇B"βW.`αVP{∧dπ.]@¬4␈0λp];
y≡a8⊂↓kPv↓0⊂⎇CαβW.`αep{ε$π.]@¬R?0∞
↓⊂eK =↑ah∀@α,X⊗@↓82⎇CbβW.`α⎇ {πdπ.]@ε↓?0∩J ↓⊂eK ⊂↑b0∀@α,X⊗@↓@J⎇DrβW.`β∞@{
¬⊂ 2ePε$?0∀J ↓⊂eK U↑bP@↓:p]@↓HD⎇E1HαukXβ @{¬⊂ 2ePεP␈0⊗J ↓⊂eK
7↑bp∀@α,X⊗@↓X_⎇ErβW.`β8 {↓@αU*Pεz␈0→G`Y2`∞↓≡c ∩@α_ε↓`≥⎇FR(∧_0`βIP{
@π∨∨0≠@∞P≡cX
@↓~0M↓h1⎇GApβ6mXβ←{∂#`εm[0πP?0∨λp];∂9↑cx⊂↓kPv↓x∂⎇H↓HαukXβu@{↔#@ε,Y0πx␈00ε XW.`⊂∞↑fλ@↓:p]@α9⎇L!_α∀(P∧
`{_b0∧(Q λ∨?02∧`@Q"@⊂R↑f( @↓
⊂EαλL⎇M↓λ↓sgP∧≡@{~"⊂βgO λF␈05E HS&@⊃!↑f`
@↓~0Mα_∞⎇MQHαukX∧8 {≠a@αeK⊂ ↓?08λ@x>}∩⊂↑gλ∂@↓apqα X⎇N"⊂βwo`∧Q {≥β@ε,Y0 -←0:G`Y2`∩q≡g0⊂↓kPvα0
⎇NrβW.`∧e@{≡α0∧(Q R←0<D`@Q"@∪?≡gP @↓
⊂Eα8!⎇O1HαukX∧xP{∨∧π.]@
↓←0>Hp];∀→↑gp⊂↓kPvα@f⎇OrβW.`¬∪P|@αHC`{⎇xow{⎇x